def func(x: int) -> None: ...